$\forall$$g$:OCMon, $x$, $y$:$\mid$$g$$\mid$. ($\uparrow$($x$ $\leq_{b}$ $y$)) $\vee$ ($\uparrow$($y$ $\leq_{b}$ $x$))